Internet Archive BookReader - Common derivations in locally determined nonmonotonic rule systems and their complexity